Higher-order function

Results: 126



#Item
41Implementing Closures in XSLT/XPath 3.0

Implementing Closures in XSLT/XPath 3.0

Add to Reading List

Source URL: www.xfront.com

Language: English - Date: 2012-11-17 18:09:06
42CS109A Notes for LectureCurried Functions In principle, all functions take one argument, but the argument may be a tuple. However, it is also possible to de ne a function

CS109A Notes for LectureCurried Functions In principle, all functions take one argument, but the argument may be a tuple. However, it is also possible to de ne a function

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 01:01:28
43A Theory of Changes for Higher-Order Languages Incrementalizing λ-Calculi by Static Differentiation sum 0 the derivative of sum. It is a function in the same language of sum, accepting and producing changes, which are s

A Theory of Changes for Higher-Order Languages Incrementalizing λ-Calculi by Static Differentiation sum 0 the derivative of sum. It is a function in the same language of sum, accepting and producing changes, which are s

Add to Reading List

Source URL: www.informatik.uni-marburg.de

Language: English - Date: 2014-02-11 05:05:30
44Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth

Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth

Add to Reading List

Source URL: graphics.cg.uni-saarland.de

Language: English - Date: 2014-08-19 12:57:10
45Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2009-12-15 04:00:36
46R-Gtk Bindings Duncan Temple Lang November 15, 2004 Abstract The Gnome desktop and related tools are becoming quite mature and are available on many machines and different platforms. Building GUIs within R is also becomi

R-Gtk Bindings Duncan Temple Lang November 15, 2004 Abstract The Gnome desktop and related tools are becoming quite mature and are available on many machines and different platforms. Building GUIs within R is also becomi

Add to Reading List

Source URL: www.omegahat.org

Language: English - Date: 2011-12-07 09:41:21
47FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION

FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-05-12 04:27:31
48From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2011-08-12 16:48:15
49A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel

A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:29
50A lower bound on the higher order nonlinearity of algebraic immune functions Claude Carlet, INRIA Projet CODES, BP 105, 78153 Le Chesnay Cedex, France e-mail: also member of the University of Paris

A lower bound on the higher order nonlinearity of algebraic immune functions Claude Carlet, INRIA Projet CODES, BP 105, 78153 Le Chesnay Cedex, France e-mail: also member of the University of Paris

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2005-12-29 12:10:10